InforLorV4, Main, Exploration, bibRecord, 000C07

Component Substitution through Dynamic Reconfigurations

Identifieur interne : 000C07 ( Main/Exploration ); précédent : 000C06; suivant : 000C08

Component Substitution through Dynamic Reconfigurations

Auteurs : Arnaud Lanoix [France] ; Olga Kouchnarenko [France]

Source :

RBID : Hal:hal-00935129

Abstract

Component substitution has numerous practical applications and constitutes an active research topic. This paper proposes to enrich an existing component-based framework---a model with dynamic reconfigurations making the system evolve---with a new reconfiguration operation which "substitutes" components by other components, and to study its impact on sequences of dynamic reconfigurations. % Firstly, we define \emph{substitutability constraints} which ensure the component encapsulation while performing reconfigurations by component substitutions. Then, we integrate them into a \emph{substitutability-based simulation} to take these substituting reconfigurations into account on sequences of dynamic reconfigurations. Thirdly, as this new relation being in general undecidable for infinite-state systems, we propose a semi-algorithm to check it on the fly. Finally, we report on experimentations using the B tools to show the feasibility of the developed approach, and to illustrate the paper's proposals on an example of the HTTP server.

Url:

https://hal.archives-ouvertes.fr/hal-00935129

Affiliations:

Links toward previous steps (curation, corpus...)

to stream Hal, to step Corpus: 001712
to stream Hal, to step Curation: 001712
to stream Hal, to step Checkpoint: 000B49
to stream Main, to step Merge: 000C13
to stream Main, to step Curation: 000C07

Le document en format XML

<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="en">Component Substitution through Dynamic Reconfigurations</title>
<author><name sortKey="Lanoix, Arnaud" sort="Lanoix, Arnaud" uniqKey="Lanoix A" first="Arnaud" last="Lanoix">Arnaud Lanoix</name>
<affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-95421" status="VALID"><orgName>Laboratoire d'Informatique de Nantes Atlantique</orgName>
<orgName type="acronym">LINA</orgName>
<desc><address><addrLine>LINA - Faculté des Sciences 2 rue de la Houssinière - BP 92208 44322 NANTES CEDEX 3</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.sciences.univ-nantes.fr/lina</ref>
</desc>
<listRelation><relation active="#struct-84538" type="direct"></relation>
<relation active="#struct-302102" type="indirect"></relation>
<relation active="#struct-93263" type="direct"></relation>
<relation name="UMR6241" active="#struct-441569" type="direct"></relation>
</listRelation>
<tutelles><tutelle active="#struct-84538" type="direct"><org type="laboratory" xml:id="struct-84538" status="VALID"><orgName>Mines Nantes</orgName>
<orgName type="acronym">Mines Nantes</orgName>
<desc><address><addrLine>La Chantrerie - 4, rue Alfred Kastler - BP 20722 - 44307 Nantes cedex 3</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.mines-nantes.fr/</ref>
</desc>
<listRelation><relation active="#struct-302102" type="direct"></relation>
</listRelation>
</org>
</tutelle>
<tutelle active="#struct-302102" type="indirect"><org type="institution" xml:id="struct-302102" status="VALID"><orgName>Institut Mines-Télécom</orgName>
<desc><address><addrLine>46 rue Barrault -75634 Paris Cedex 13</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.mines-telecom.fr/</ref>
</desc>
</org>
</tutelle>
<tutelle active="#struct-93263" type="direct"><org type="institution" xml:id="struct-93263" status="VALID"><orgName>Université de Nantes</orgName>
<orgName type="acronym">UN</orgName>
<desc><address><addrLine>1, quai de Tourville - BP 13522 - 44035 Nantes cedex 1</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.univ-nantes.fr/</ref>
</desc>
</org>
</tutelle>
<tutelle name="UMR6241" active="#struct-441569" type="direct"><org type="institution" xml:id="struct-441569" status="VALID"><idno type="ISNI">0000000122597504</idno>
<idno type="IdRef">02636817X</idno>
<orgName>Centre National de la Recherche Scientifique</orgName>
<orgName type="acronym">CNRS</orgName>
<date type="start">1939-10-19</date>
<desc><address><country key="FR"></country>
</address>
<ref type="url">http://www.cnrs.fr/</ref>
</desc>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
<placeName><settlement type="city">Nantes</settlement>
<region type="region" nuts="2">Pays de la Loire</region>
</placeName>
<orgName type="university">Université de Nantes</orgName>
</affiliation>
</author>
<author><name sortKey="Kouchnarenko, Olga" sort="Kouchnarenko, Olga" uniqKey="Kouchnarenko O" first="Olga" last="Kouchnarenko">Olga Kouchnarenko</name>
<affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-866" status="VALID"><idno type="IdRef">152639071</idno>
<idno type="RNSR">200412232H</idno>
<orgName>Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies</orgName>
<orgName type="acronym">FEMTO-ST</orgName>
<desc><address><addrLine>32 avenue de l'Observatoire 25044 BESANCON CEDEX</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.femto-st.fr</ref>
</desc>
<listRelation><relation active="#struct-242365" type="direct"></relation>
<relation active="#struct-300261" type="direct"></relation>
<relation active="#struct-300360" type="direct"></relation>
<relation name="UMR6174" active="#struct-441569" type="direct"></relation>
</listRelation>
<tutelles><tutelle active="#struct-242365" type="direct"><org type="institution" xml:id="struct-242365" status="VALID"><idno type="IdRef">026403188</idno>
<idno type="ISNI">0000 0001 2188 3779 </idno>
<orgName>Université de Franche-Comté</orgName>
<orgName type="acronym">UFC</orgName>
<desc><address><country key="FR"></country>
</address>
<ref type="url">http://www.univ-fcomte.fr</ref>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300261" type="direct"><org type="institution" xml:id="struct-300261" status="VALID"><orgName>Université de Technologie de Belfort-Montbeliard</orgName>
<orgName type="acronym">UTBM</orgName>
<desc><address><country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300360" type="direct"><org type="institution" xml:id="struct-300360" status="VALID"><orgName>Ecole Nationale Supérieure de Mécanique et des Microtechniques</orgName>
<orgName type="acronym">ENSMM</orgName>
<desc><address><country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
<tutelle name="UMR6174" active="#struct-441569" type="direct"><org type="institution" xml:id="struct-441569" status="VALID"><idno type="ISNI">0000000122597504</idno>
<idno type="IdRef">02636817X</idno>
<orgName>Centre National de la Recherche Scientifique</orgName>
<orgName type="acronym">CNRS</orgName>
<date type="start">1939-10-19</date>
<desc><address><country key="FR"></country>
</address>
<ref type="url">http://www.cnrs.fr/</ref>
</desc>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
<placeName><settlement type="city" wicri:auto="siege">Besançon</settlement>
<region type="region" nuts="2">Franche-Comté</region>
</placeName>
<orgName type="university">Université de Franche-Comté</orgName>
<orgName type="institution" wicri:auto="newGroup">Université de Bourgogne Franche-Comté</orgName>
<placeName><settlement type="city" wicri:auto="siege">Belfort</settlement>
<region type="region" nuts="2">Franche-Comté</region>
</placeName>
<orgName type="university">Université de technologie de Belfort-Montbéliard</orgName>
</affiliation>
</author>
</titleStmt>
<publicationStmt><idno type="wicri:source">HAL</idno>
<idno type="RBID">Hal:hal-00935129</idno>
<idno type="halId">hal-00935129</idno>
<idno type="halUri">https://hal.archives-ouvertes.fr/hal-00935129</idno>
<idno type="url">https://hal.archives-ouvertes.fr/hal-00935129</idno>
<date when="2014-04-12">2014-04-12</date>
<idno type="wicri:Area/Hal/Corpus">001712</idno>
<idno type="wicri:Area/Hal/Curation">001712</idno>
<idno type="wicri:Area/Hal/Checkpoint">000B49</idno>
<idno type="wicri:explorRef" wicri:stream="Hal" wicri:step="Checkpoint">000B49</idno>
<idno type="wicri:Area/Main/Merge">000C13</idno>
<idno type="wicri:Area/Main/Curation">000C07</idno>
<idno type="wicri:Area/Main/Exploration">000C07</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title xml:lang="en">Component Substitution through Dynamic Reconfigurations</title>
<author><name sortKey="Lanoix, Arnaud" sort="Lanoix, Arnaud" uniqKey="Lanoix A" first="Arnaud" last="Lanoix">Arnaud Lanoix</name>
<affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-95421" status="VALID"><orgName>Laboratoire d'Informatique de Nantes Atlantique</orgName>
<orgName type="acronym">LINA</orgName>
<desc><address><addrLine>LINA - Faculté des Sciences 2 rue de la Houssinière - BP 92208 44322 NANTES CEDEX 3</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.sciences.univ-nantes.fr/lina</ref>
</desc>
<listRelation><relation active="#struct-84538" type="direct"></relation>
<relation active="#struct-302102" type="indirect"></relation>
<relation active="#struct-93263" type="direct"></relation>
<relation name="UMR6241" active="#struct-441569" type="direct"></relation>
</listRelation>
<tutelles><tutelle active="#struct-84538" type="direct"><org type="laboratory" xml:id="struct-84538" status="VALID"><orgName>Mines Nantes</orgName>
<orgName type="acronym">Mines Nantes</orgName>
<desc><address><addrLine>La Chantrerie - 4, rue Alfred Kastler - BP 20722 - 44307 Nantes cedex 3</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.mines-nantes.fr/</ref>
</desc>
<listRelation><relation active="#struct-302102" type="direct"></relation>
</listRelation>
</org>
</tutelle>
<tutelle active="#struct-302102" type="indirect"><org type="institution" xml:id="struct-302102" status="VALID"><orgName>Institut Mines-Télécom</orgName>
<desc><address><addrLine>46 rue Barrault -75634 Paris Cedex 13</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.mines-telecom.fr/</ref>
</desc>
</org>
</tutelle>
<tutelle active="#struct-93263" type="direct"><org type="institution" xml:id="struct-93263" status="VALID"><orgName>Université de Nantes</orgName>
<orgName type="acronym">UN</orgName>
<desc><address><addrLine>1, quai de Tourville - BP 13522 - 44035 Nantes cedex 1</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.univ-nantes.fr/</ref>
</desc>
</org>
</tutelle>
<tutelle name="UMR6241" active="#struct-441569" type="direct"><org type="institution" xml:id="struct-441569" status="VALID"><idno type="ISNI">0000000122597504</idno>
<idno type="IdRef">02636817X</idno>
<orgName>Centre National de la Recherche Scientifique</orgName>
<orgName type="acronym">CNRS</orgName>
<date type="start">1939-10-19</date>
<desc><address><country key="FR"></country>
</address>
<ref type="url">http://www.cnrs.fr/</ref>
</desc>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
<placeName><settlement type="city">Nantes</settlement>
<region type="region" nuts="2">Pays de la Loire</region>
</placeName>
<orgName type="university">Université de Nantes</orgName>
</affiliation>
</author>
<author><name sortKey="Kouchnarenko, Olga" sort="Kouchnarenko, Olga" uniqKey="Kouchnarenko O" first="Olga" last="Kouchnarenko">Olga Kouchnarenko</name>
<affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-866" status="VALID"><idno type="IdRef">152639071</idno>
<idno type="RNSR">200412232H</idno>
<orgName>Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies</orgName>
<orgName type="acronym">FEMTO-ST</orgName>
<desc><address><addrLine>32 avenue de l'Observatoire 25044 BESANCON CEDEX</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.femto-st.fr</ref>
</desc>
<listRelation><relation active="#struct-242365" type="direct"></relation>
<relation active="#struct-300261" type="direct"></relation>
<relation active="#struct-300360" type="direct"></relation>
<relation name="UMR6174" active="#struct-441569" type="direct"></relation>
</listRelation>
<tutelles><tutelle active="#struct-242365" type="direct"><org type="institution" xml:id="struct-242365" status="VALID"><idno type="IdRef">026403188</idno>
<idno type="ISNI">0000 0001 2188 3779 </idno>
<orgName>Université de Franche-Comté</orgName>
<orgName type="acronym">UFC</orgName>
<desc><address><country key="FR"></country>
</address>
<ref type="url">http://www.univ-fcomte.fr</ref>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300261" type="direct"><org type="institution" xml:id="struct-300261" status="VALID"><orgName>Université de Technologie de Belfort-Montbeliard</orgName>
<orgName type="acronym">UTBM</orgName>
<desc><address><country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300360" type="direct"><org type="institution" xml:id="struct-300360" status="VALID"><orgName>Ecole Nationale Supérieure de Mécanique et des Microtechniques</orgName>
<orgName type="acronym">ENSMM</orgName>
<desc><address><country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
<tutelle name="UMR6174" active="#struct-441569" type="direct"><org type="institution" xml:id="struct-441569" status="VALID"><idno type="ISNI">0000000122597504</idno>
<idno type="IdRef">02636817X</idno>
<orgName>Centre National de la Recherche Scientifique</orgName>
<orgName type="acronym">CNRS</orgName>
<date type="start">1939-10-19</date>
<desc><address><country key="FR"></country>
</address>
<ref type="url">http://www.cnrs.fr/</ref>
</desc>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
<placeName><settlement type="city" wicri:auto="siege">Besançon</settlement>
<region type="region" nuts="2">Franche-Comté</region>
</placeName>
<orgName type="university">Université de Franche-Comté</orgName>
<orgName type="institution" wicri:auto="newGroup">Université de Bourgogne Franche-Comté</orgName>
<placeName><settlement type="city" wicri:auto="siege">Belfort</settlement>
<region type="region" nuts="2">Franche-Comté</region>
</placeName>
<orgName type="university">Université de technologie de Belfort-Montbéliard</orgName>
</affiliation>
</author>
</analytic>
</biblStruct>
</sourceDesc>
</fileDesc>
<profileDesc><textClass></textClass>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="en">Component substitution has numerous practical applications and constitutes an active research topic. This paper proposes to enrich an existing component-based framework---a model with dynamic reconfigurations making the system evolve---with a new reconfiguration operation which "substitutes" components by other components, and to study its impact on sequences of dynamic reconfigurations. % Firstly, we define \emph{substitutability constraints} which ensure the component encapsulation while performing reconfigurations by component substitutions. Then, we integrate them into a \emph{substitutability-based simulation} to take these substituting reconfigurations into account on sequences of dynamic reconfigurations. Thirdly, as this new relation being in general undecidable for infinite-state systems, we propose a semi-algorithm to check it on the fly. Finally, we report on experimentations using the B tools to show the feasibility of the developed approach, and to illustrate the paper's proposals on an example of the HTTP server.</div>
</front>
</TEI>
<affiliations><list><country><li>France</li>
</country>
<region><li>Franche-Comté</li>
<li>Pays de la Loire</li>
</region>
<settlement><li>Belfort</li>
<li>Besançon</li>
<li>Nantes</li>
</settlement>
<orgName><li>Université de Bourgogne Franche-Comté</li>
<li>Université de Franche-Comté</li>
<li>Université de Nantes</li>
<li>Université de technologie de Belfort-Montbéliard</li>
</orgName>
</list>
<tree><country name="France"><region name="Pays de la Loire"><name sortKey="Lanoix, Arnaud" sort="Lanoix, Arnaud" uniqKey="Lanoix A" first="Arnaud" last="Lanoix">Arnaud Lanoix</name>
</region>
<name sortKey="Kouchnarenko, Olga" sort="Kouchnarenko, Olga" uniqKey="Kouchnarenko O" first="Olga" last="Kouchnarenko">Olga Kouchnarenko</name>
</country>
</tree>
</affiliations>
</record>

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration

HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 000C07 | SxmlIndent | more

HfdSelect -h $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd -nk 000C07 | SxmlIndent | more

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    RBID
   |clé=     Hal:hal-00935129
   |texte=   Component Substitution through Dynamic Reconfigurations
}}

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022

	Serveur d'exploration sur la recherche en informatique en Lorraine
	Attention, ce site est en cours de développement ! Attention, site généré par des moyens informatiques à partir de corpus bruts. Les informations ne sont donc pas validées.

Serveur d'exploration sur la recherche en informatique en Lorraine

Component Substitution through Dynamic Reconfigurations

Component Substitution through Dynamic Reconfigurations

Source :

Abstract

Links toward previous steps (curation, corpus...)

Le document en format XML

Pour manipuler ce document sous Unix (Dilib)

Pour mettre un lien sur cette page dans le réseau Wicri